Research in Computing Science, Vol. 58, pp. 195-204, 2012.
PDF: Opportunistic Reasoning in DL Prolog PDF: Opportunistic Reasoning in DL Prolog